relvarset1 = sylvan_set_fromarray(relvars1, 18);
if ((i < deltai) < gammai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
else if ((deltai < gammai) < i){
relvarset1 = sylvan_set_fromarray(relvars1, 18);
if ((i < deltai) < gammai){
uint8_t rel_enc__[18] = {1, 0, 0, 0, 1, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0};
memcpy(rel_enc1, rel_enc__, 18*sizeof(uint8_t));
}
else if ((deltai < gammai) < i){