Delete unused updateRequired() method in Assertion.
Delete getters in Assertion.
Delete isNil method in Concept.
Delete NullConcept.