Fix destruct_pc problem.

Ltac doesn't understand coercions.