fix(dsolvers/icp_solver): have an includeAll argument for build_explanation

 - use "true" in prop if m_boxes is empty.