nail down behavior for untyped exists/nonempty conditions in dynamic
blocks
tests for untyped control structures