remove extraneous ExistentialQuantification prgma