IndividualType
abstraction
idx
Plan
in
Config
inference
sansa_stack
isVarWithName
Plan