Add implicit termination pattern test case