Eiffel is a pioneering language in the object-oriented paradigm. The EBNF below describes the inspect feature available in Eiffel to enable switch-like statements. inspect_statement = 'inspect identifier when { when } [else { statement } ] "end" when = 'when ( literal { ; literal } | literal ... literal ) `then { statement } Using the given EBNF, show the sequence of productions to generate the inspect statement below. For simplification, just write "statement" when your derivation reaches a commented statement. inspect x when 2 then Code when input_integer equals 2 when 3, 5 then Code when input_integer equals 3 or 5 when 7..9 then -- Code when input_integer equals 7 or 8 or 9 else Code when input_integer does not equal 2, 3, 5, 7, 8 nor 9 end