remove all -> to make [[n,add0],[[v,a],[v,b]],":-", 
	[[[n,add2],[[v,a],[v,c]]],
	[[n,=],[[v,c],[v,b]]]]], appear in V