code: private static Var parseVar(String varLine) {
          String[] ws = whitespace.split(varLine);
          String name = ws[0];
          List<String> stateNames = Arrays.asList(comma.split(ws[1]));
          int numStates = stateNames.size();
          return new Var(VarType.PREDICTED, numStates, name, stateNames);
      }
docs: Reads a variable from a line containing the variable name, a space, then
  a comma-separated list of the values it can take.