fix #31

test violated constraints