simplifier: use new interface#4872

tautschnig merged 2 commits intodevelopdiffblue/cbmc:developfrom

simplifier_new_interface2diffblue/cbmc:simplifier_new_interface2Copy head branch name to clipboard