Improving Software Model Inference by Combining State Merging and Markov Models