updated testing for Time module
add unit test for SymbolTable module
add interfaces for Condition