add AtermHelper#Info#isSet and unsupportedNotification.