revert dynamic test code (is test) with typechecker fix