ltl does not accept state charts with transitions invoking dynamic function pointers (#2033) · Issues · pub / frama-c