use annotation as immutability rule condition