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.
end_of_list.