@property<EOL><INDENT>def is_terminator(self):<DEDENT>
return self.semantics in ('<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>', '<STR_LIT>')<EOL>
True if the instruction is a basic block terminator