Removed attempted optimizations to axiom instantiation