let valid m a =
    let xzone = xzone_assigned a in
    RtLib.valid (F.var m.valloc) (Tint.term_of_xzone xzone)