These newgen data structures are used to tell whether a variable (formal parameter or common variable) in a called procedure must be checked for used-before-set error or not.
import entity from "ri.newgen"
ubs_check = module:entity x variable:entity
ubs = list:ubs_check*