Some simple modification. setNestedQuantifier of quantifiers/rewriter has been made public