added printing of violated property