Avoid using a quantifier for wildcard constraints for quantified resources#817

marcoeilers merged 2 commits into

masterviperproject/silicon:masterfrom

meilers_avoid_qp_wildcard_constraint_quantifierviperproject/silicon:meilers_avoid_qp_wildcard_constraint_quantifierCopy head branch name to clipboard