printing
bug reported in ConstReifDisj--  reason for