Correct can_cast_expr for quantifier_exprt#1901

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:fix/quantifier_exprtromainbrenguier/cbmc:fix/quantifier_exprtCopy head branch name to clipboard