Automated Detection of Discontinuities in Models Inferred from Execution Traces