The grammar allows two extra finalize-type's that are not taken into account in the implementation. 