Added convenience functions to TimeDomainAxiomLookup class. Added testcase for class.