implementation_module ::= "IMPLEMENTATION" program_module
This rule is called by -> compilation_unit
-> compilation_unit