boolbvt::print_assignment should call the print_assignment of the base class#1591

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

print_assignmentdiffblue/cbmc:print_assignmentCopy head branch name to clipboard