MethodBody (@NotNull ImperativeCommand.Environment env) { int nVars = env.generateValue(Generator.integers(1, 3), null); List<Variable> vars = IntStream.range(0, nVars).mapToObj(i -> Variable.generate("s" + i, env)).collect(Collectors.toList()); return new MethodBody(vars); }