let lt_loc_bool = M.lt_loc_bool