do not suggest templates for ne module
new inference: incorporation step: substitute equal bounds
new inference: stop inference if false was inferred