fix of inference rule, no statements like <a --> a>...