@property<EOL><INDENT>def is_top(self):<DEDENT>
return (self.stride == <NUM_LIT:1> and<EOL>self.lower_bound == self._modular_add(self.upper_bound, <NUM_LIT:1>, self.bits)<EOL>)<EOL>
If this is a TOP value.

:return: True if this is a TOP