removed all the prenexing code as simple call to rewrite does the same
operation