import python
private import semmle.python.pointsto.PointsToContext

class Context = PointsToContext;