setting debuggers + fixing explanation size in ExplainedContDisReif