test case for target_to_implicant