Get next timestamp in reasoning
Start implementing GenerateChildsForLeaf method from ReasoningFacade - implement checking observations