Fixing a bug that mixed deleting a constraint and pregresistration of a literal being mixed in order.