Change Details

Right now this is a stub, that always defers to the flow-insensitive alias().

All current analyses ignore the context. We make the argument mandatory for analyses, but optional for the query interface.

Right now this is a stub,All current analyses ignore the context. that always defers toWe make the flow-insensitiveargument mandatory alias()for analyses, but optional for the query interface.