Merge pull request #4732 from diffblue/signatures_in_simplifier

introduce simplify_exprt::resultt

Author: tautschnig