upper_dash(N,NN):- atomic_list_concat(NL,'_',N),atomic_list_concat(NL,'-',NN).
harden_cycl_vars(G,G):- ground(G),!.
harden_cycl_vars(V,NN):- var(V),var_property(V,name(VN)),!,atom_concat('?VAR-',VN,N),upper_dash(N,NN).
harden_cycl_vars(V,NN):- var(V),!,format(atom(N),'?VAR~w',[V]),upper_dash(N,NN).
harden_cycl_vars(G,G):- \+ compound(G),!.
harden_cycl_vars(A,AA):- compound_name_arguments(A,F,AL),maplist(harden_cycl_vars,AL,AAL),compound_name_arguments(AA,F,AAL).