Added LOCKED support to PwsConstraint::pre. It now runs reachability but produces bad results.