assign(stats_level, 0). %no unnecessary statistics
set(binary_res). % implies set(factor) 
list(sos). 
a!=c.
b=a.
b=c.
x=x.
x!=y | y=x.
x!=z | z!=y | x=y.
end_of_list.