I wanted to ask if we can enable the functionality to reference on EXT: Variables in Pre and Post Conditions.