Adding result type checking test.