Testing
[Functionality by programming task]

Modules
	Testing finite sets with complete domain representation
	Testing finite domain integers
	Testing finite sets
	General test support