/*
 
  Sum test

  If a = 1 then d = b + c
  If a = 2 then d = b - c

  [program = if_then_else(A,C + B,B - C),res = -101,count = 1]
  [program = if_then_else(A,(C * 1 + B * A) * 1,if_then_else(1,B - C,A)),res = -101,count = 1]


  Cf sum_test.conf

*/
data(sorted,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [
[[1,1,2],3],
[[2,1,2],-1],
[[1,2,2],4],
[[2,2,2],0],
[[1,3,10],13],
[[2,3,10],-7],
[[1,10,3],13],
[[2,10,3],7],
[[1,1,1],2],
[[2,1,1],0],
[[1,4,5],9],
[[2,4,5],-1],
[[1,5,4],9],
[[2,5,4],1]
  ],
  Ops = [+,-,*,if_then_else,==],
  Constants = 1..2,
  Unknown = [10,20,121],
  Vars = ['A','B','C'], 
  MaxSize = 6,
  Params = new_map().