let mark_to_prop_to_called_output _call _pdg _node m = match m with | true, M.Glob -> Some (true, M.Loc) | true, M.Loc -> Some m | _ -> fatal "cannot propagate invisible mark@."