added classes for determining whether a given invoke expression is fixed, i.e., cannot be overwritten by client code and thus cannot become a callback