1.79/2.27	NO
1.79/2.27	proof: 
1.79/2.27	  Conditions are not infeasible.
1.79/2.27	  There are some non-trivial conditions.
1.79/2.27	  Call external tool:
1.79/2.27	./nonreach.sh
1.79/2.27	Variables:
1.79/2.27	x x1 x2
1.79/2.27	Input:
1.79/2.27	  pin(x) -> pout(g(x))
1.79/2.27	
1.79/2.27	Condition: pin(x1) = pout(g(x2))
1.79/2.27	By external nonreachability tool.
1.79/2.27	NO
1.79/2.27	FEASIBLE with
1.79/2.27	{x1/x2}
1.79/2.29	EOF