Fix bug with read of normal rules with true positive literals.
Add a few asserts.