Added Class State menu items to add / remove delcaration / predicate on an existing Class State.