Add notes about new abstraction violations