assign(stats_level, 0).
set(para_into). 
set(para_from).
list(sos). 
a!=c.
end_of_list.
list(usable).
b=a.
b=c.
x=x.
%x!=y | y=x.
%x!=z | z!=y | x=y.
end_of_list.