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