Func atMost3 = new Func(null, "atMost3", Util.asList(x,y), null, body);
List<Sig> sigs = Arrays.asList(new Sig[]{A, B, A1, A2});
// run { some A && atMostThree[B,B] } for 3 but 3 int, 3 seq
Expr expr1 = A.some().and(atMost3.call(B,B));
Command cmd1 = new Command(false, 3, 3, 3, expr1);
A4Solution sol1 = TranslateAlloyToKodkod.execute_command(NOP, sigs, cmd1, opt);
System.out.println("[Solution1]:");
System.out.println(sol1.toString());