let name_of_asked_bhv = function | FunBhv (Some bhv) -> bhv.b_name | FunBhv None -> Cil.default_behavior_name | StmtBhv (_, _, bhv) -> bhv.b_name