add TestCase#concept.