Renamed StracePathAnalyzer.ProcessModel.haveProcess to hasProcess