Added large specification test exercising generation of set operators and set related VDM constructs