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