code: public static List<INode> getNodes(List<? extends INode> ast)
  	{
  		List<INode> nodes = new LinkedList<>();
  
  		nodes.addAll(ast);
  
  		return nodes;
  	}
docs: Convenience method for converting a VDM AST into a list of nodes.
  
  @param ast
  The VDM AST.
  @return The VDM AST as a list of nodes.