made the possibility for annotations in statecharts and operations