TestBool: Warn if test case is not simplified properly