implementation_module

implementation_module ::= "IMPLEMENTATION" program_module 

This rule is called by

-> compilation_unit