Fixed variable name clash in build-vars.
Fixed negation in find-and-reverse-quantifier.
A few examples.