Fix checkAnt/Suc bug

Code has been refactored into one method now too.
Change contraction

work-around for requirement check changed to if statement
Fix UR-MRR bug
Checkpoint before pulling first-order
Remove warnings
Remove documents
Merge commit '3c3a01f214b595c4773819696d172371654e1b9c' into first-order

* commit '3c3a01f214b595c4773819696d172371654e1b9c':
  Remove warnings
  Checkpoint before pulling first-order
  Fix UR-MRR bug
  Change contraction
  Fix checkAnt/Suc bug