A path represents a specific point in the AST of an aggregate program. The point in the AS is identified as a sequence of tokens.