code: protected void removeUnreachableStms(List<? extends INode> ast)
  			throws AnalysisException
  	{
  		UnreachableStmRemover remover = new UnreachableStmRemover();
  
  		for (INode node : ast)
  		{
  			node.apply(remover);
  		}
  	}
docs: This method removes unreachable statements from the VDM AST.
  
  @param ast
  The VDM AST subject to processing.
  @throws AnalysisException
  If something goes wrong when trying to remove unreachable statements from the <code>ast</code>.