Fix for optional TestCase in TestProcedure