sig module R : Plugin.General_services val get_lval_zones : for_writing:bool -> Cil_types.stmt -> Cil_types.lval -> Locations.Zone.t * bool * Locations.Zone.t end