Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning