sval_max
sval_t sval_max(sval_t one, sval_t two);
estate_set_fuzzy_max(tmp, sval_max(estate_get_fuzzy_max(s1), estate_get_fuzzy_max(s2)));