diag_size ::= "diagnostics" "size" number_of_conditions
This rule is called by -> transaction_mode
-> transaction_mode