Characteristic predicate StackVariable :: StackVariable
StackVariable
(
)