Assert actions when needed
Assert actions when needed

1. Decrease backtracking depth by asserting actions be used when
   required to resolve a deadlock.
  a. main.cc  reviseActions()
     - This method does forward checking too, PruneCycles() is obsolete.

grencez/protocon,grencez/protocon,grencez/protocon,grencez/protocon