public override void LeaveModule(Module node)
{
base.LeaveModule(node);
// todo: de-nasty this
var linesInFile = -1;
if (node.LexicalInfo.FileName != null)
linesInFile = File.ReadAllLines(node.LexicalInfo.FileName).Length;
Pop(linesInFile);
currentDocument = null;
}