Add HavingTestCase