Some context variables are not "exported" as an Output from an encapsulated assertion