sig
  module M = BoolMark
  val mark_to_prop_to_caller_input :
    Cil_types.stmt option ->
    Db.Pdg.t ->
    PdgMarks.select_elem ->
    bool * Spare_marks.BoolMark.prop_mode ->
    (bool * Spare_marks.BoolMark.prop_mode) option
  val mark_to_prop_to_called_output :
    '->
    PdgTypes.Pdg.t -> '-> bool * M.prop_mode -> (bool * M.prop_mode) option
end