Wrote IQuantifierModificationChecker