@property
def current_char(self) -> str:
    try:
        return self.definition[self.pos]
    except IndexError:
        return 'EOF'
@property
def current_char(self) -> str:
    try:
        return self.definition[self.pos]
    except IndexError:
        return 'EOF'