Suite -- Model Checking II -- Transition-Based Directed Model Checking -- Memoised