Test classes for the static type checking AST transformation.