Added test case for contracting K internally - failed