Changed ordering of parameters for constraints. Now is: (f action x old-graph new-graph).
Nodes-away now uses recur to avoid blowing stack.