add mulit-ary constructor for xor_exprt, bitxor_exprt, bitand_exprt, …#8529

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

multi_ary_constructorsdiffblue/cbmc:multi_ary_constructorsCopy head branch name to clipboard