Fixed bug in code for guessing the name of the variable representing the freshness context.
Fixed bug in code for guessing the name of the variable representing the freshness context.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle