- Applied the next refactoring rule several times, up to reach a fix point, in
  the basic prosyn modules:

replace_conjunction((A=V,Body), (A @@ Body), (var(A), nonvar(V), occurrences_of_var(A,Body,N1), N1 =<1, occurrences_of_var(A, Term, N), N =:= N1+1, A=V), [sentence(Term),dir(src/main)])