FIX missing declarations in generated semantics