context YourType {
	 constraint YourConstraint {
			check {
				var x = ...;
				return false;
			}
			message : "There's something wrong with " + x
			fix {
				title: "Fix it"
				do {
					// x can be used here too
				}
			}
		}
}