Avoid evaluating void variables#737

haselwarter wants to merge 1 commit intoProofGeneral:masterProofGeneral/PG:masterfrom

haselwarter:guard-void-variable-accesshaselwarter/PG:guard-void-variable-accessCopy head branch name to clipboard