Rename minim:testedConstraint to minim:testedChecklist, for consistency with revised model
Code cleanup - removing redundant bits and tweaking comments