Fix unhandled InvalidCastException when a rewrite/metathesis rule has a top-level Quantifier#464

ddaspit merged 1 commit into

mastersillsdev/machine:masterfrom

fix/quantifier-in-rewrite-lhs-rhssillsdev/machine:fix/quantifier-in-rewrite-lhs-rhsCopy head branch name to clipboard