improve profilizaiton by first covert equavilent axioms to subsumptions