Fix quantifiers for arrays only works with Z3 and CVC4#6270

TGWDB wants to merge 3 commits intodiffblue:developdiffblue/cbmc:developfrom

TGWDB:array_quantifier_safety_z3_cvc4TGWDB/cbmc:array_quantifier_safety_z3_cvc4Copy head branch name to clipboard