isActivationRecord

Whether this context represents a genuine "activation record" -- i.e. the entry point of a new procedure call -- as opposed to an intermediate context created while unfolding a conjunction/disjunction within the same call. Used to filter pathToRoot down to logicStackTrace.