Towards Safer Heuristics With XPlain