Member predicate SideEffectFunction::hasSpecificReadSideEffect

Holds if the value pointed to by the parameter at index i is read from. buffer is true if the read may be at an offset.