let quantify_at_label frame label p =
    M.quantify_at_label frame.mframe label
      (fquantify_at_label frame.fframe label p)