Added missing predicate to exists binding.
Added missing clones to state name handling for Sat PO.