termination_measure walk39(_,_,_,_,_,_,level,_, _) = level
termination_measure walk48(_,_,_,_,_,_,level,_, _) = level