Added missing predicate to exists binding.
Added missing clones to state name handling for Sat PO.
Moved clone of precond def inside the generate predicate to guard against null preconditions.