satsyn - Prune rules which don't add anything new
satsyn - Prune rules which don't add anything new

1. When searching for a strongly converging protocol,
   discard rules which don't resolve a deadlock or help fulfill the
   original protocol.
   This helps quite a bit!
  a. satsyn.c  synsearch()

2. Initially cast out rules which break closure or don't go against the
   original protocol in the set of legit states. There is no reason to
   check these things a second time!
  a. satsyn.c  detect_strong_convergence() set_may_rules()
  c. satsyn.c
    + synsearch()
    + detect_stabilizing()
     - Renamed to detect_strong_convergence()

grencez/lace,grencez/lace