Member predicate SuperInstance :: calleeAndOffset
Holds if the function
scope is called when this object is called and
is the difference from the parameter position and the argument position.
For a normal function
paramOffset is 0. For classes and bound-methods it is 1.
Used by points-to to help determine flow from arguments to parameters.
predicate calleeAndOffset ( Function scope , int paramOffset )