Tests for TypeBasedCompiler