Prenexing of expression( Still incomplete)