Stack predicate invocation contexts for reentrancy
`test()` is the proper way to invoke a predicate