code: @Override
  	public LexNameSet caseAAlwaysStm(AAlwaysStm node, FreeVarInfo info)	throws AnalysisException
  	{
  		LexNameSet names = new LexNameSet();
  		names.addAll(node.getAlways().apply(this, info));
  		names.addAll(node.getBody().apply(this, info));
  		return names;
  	}
docs: *********************** Statements **************************