Computing Superior Counter-Examples for Conformant Planning