- full_identifier accepts non-c keywords (list to be completed)
- logic_type rule is parameterized by the kind of typenames we accept
  (either only typenames or typenames + identifiers for rt_type
- on the other hand, logic_attributes cannot have the same name as
  an ACSL keyword.