- fixed bug in the translation of class constants
- added NoCode annotation to suppress confusing infeasible code alarms.