lib(ic_mdd)

   Extensional constraints over IC variables

