Runtime predicate
- ast-variable-samebinding
- ast-variable-declaration
- ast-invocation-declaration