Tests for type check instruction added