Finished demo for basic class level constraint checking