Fix LiteralTestCase due to change in assumptions