Standard Out:

in clause som3/ioo(nil,Bs,Bs).
  variables have no producer: ["Bs"]

Standard Err:


real	0m0.414s
user	0m0.192s
sys	0m0.044s