let op_status_to_cenum status =
try
let ei = Hashtbl.find used_enuminfo listStatus in
let name = if status = Promelaast.Call then callStatus else termStatus in
let rec search = function
| {einame=n} as ei ::_ when n=name -> CEnum ei
| _::l -> search l
| [] -> raise_error ("Status not found")
in
search ei.eitems
with _ -> raise_error ("Status not found")