bug fixed explaining bools in ConstDisjReif