argtype discont ever func invert numparam param reslinear restype tpfn_base tpfn_temp

ever bool LiftedFunctionInfo::ever True/false when computing the ever/always semantics.