Applied next refactoring to prosyn system:

:- [prosyn_boot(help_op)].
:- [prosyn_boot(prosyn_op)].

ref_cut :-
    replace_sentence((H :- A, Body), (H :- @@(A,Body)),
		     ( A==!,
		       H \= (_:_),
		       predicate_property(M:H, number_of_clauses(1)),
		       \+predicate_property(M:H,dynamic),
		       \+predicate_property(M:H,multifile)
		     ), [module(M),dir(src/main)]),
    replace_sentence((H :- A), (@@(A,H)),
		     ( A==!,
		       H \= (_:_),
		       predicate_property(M:H, number_of_clauses(1)),
		       \+predicate_property(M:H,dynamic),
		       \+predicate_property(M:H,multifile)
		     ), [module(M),dir(src/main)]).