New exceptions for static errors detected during analysis of free states.