every var mentioned
twice

can't find 
[[n,add0],[[v,a],[v,b]],":-",
in trace
- investigate ->s