Checkpoint in adding IsCoercion