Method top

src/main/java/wyil/check/FlowTypeUtils.java:935–937

()

		}

		public int top() {
			return nVariables - 1;
		}

		public int[] top(int n) {
			return ArrayUtils.range(nVariables - n, nVariables);