Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs