param_x([1-2, 1-3, 1-4], [var([], [a, b, c, d], []), var([d], [c], [b, a]), var([a, b], [d], [c]), var([d], [c], [b, a])], [[], [in_out_rif], [in_out_rif, any], [in_out_rif]], [[a=4, b=0, c=4, d=3, call(2, [d]), write(a, b, c, d)], [c=a, if(d=50, d=c+4, d=a*4), b=c+3, a=a, call(4, [b]), write(a, b, c, d)], [d=a*1, a=4, b=1, c=3, write(a, b, c, d)], [c=b, d=4, b=a+1, a=2, call(3, [a, c]), write(a, b, c, d)]]).