note description: "Summary description for {TERMINATOR_INST}." author: "" date: "$Date$" revision: "$Revision$" class TERMINATOR_INST inherit INSTRUCTION end