Correctly determine process rules and invariants + Add derived rules