Update Generator: add size arguments for creating set of VM / Node in constraint's arguments.