Add interval start and interval end assertion axioms.