replaced the icon of CA
improved constraint checker by allowing multi results in one apply
added a base class for contraint violation
added helper operator in the mira model
overall code clean up in mira
refs 301