state chart implemented in multiple files cannot be analysed by aorai (#2010) · Issues · pub / frama-c