1array [1..3] of int: X_INTRODUCED_11 = [-1,-1,-1]; 2var 0..1: X_INTRODUCED_2; 3var 0..1: y:: output_var; 4var bool: X_INTRODUCED_3 ::var_is_introduced :: is_defined_var; 5var bool: X_INTRODUCED_8 ::var_is_introduced :: is_defined_var; 6var 0..1: X_INTRODUCED_9 ::var_is_introduced :: is_defined_var; 7array [1..3] of var int: x:: output_array([1..3]) = [1,1,X_INTRODUCED_2]; 8constraint int_lin_eq_reif(X_INTRODUCED_11,[1,1,X_INTRODUCED_9],-3,X_INTRODUCED_3):: defines_var(X_INTRODUCED_3); 9constraint int_eq_reif(y,1,X_INTRODUCED_3):: defines_var(X_INTRODUCED_3); 10constraint int_eq_reif(X_INTRODUCED_2,1,X_INTRODUCED_8):: defines_var(X_INTRODUCED_8); 11constraint bool2int(X_INTRODUCED_8,X_INTRODUCED_9):: defines_var(X_INTRODUCED_9); 12solve satisfy; 13