Characteristic predicate StackVariableReachabilityExt::StackVariableReachabilityExt

StackVariableReachabilityExt()