removed calling replaceExistentialWithForall