Moose demo: detecting wrong values in annotations