Removed the translator for the FDEFINITION-INSTRUCTION because it will not be needed.