fix of inference rule in case of invalid statement by substituting like <a --> a>