Test case B: fixed check rule