public static Term NodeToBlock(Term cfg, int idx) { return(IsaCommonTerms.ListLookup(new TermApp(nodeToBlockId, cfg), idx)); }
public static Term OutEdges(Term cfg, int idx) { return(IsaCommonTerms.ListLookup(new TermApp(outEdgesId, cfg), idx)); }