Contingent Planning Using Counter-Examples from a Conformant Planner