estate_capped
if (estate_capped(one) != estate_capped(two))
if (estate_capped(s1) && estate_capped(s2))
bool estate_capped(struct smatch_state *state);
estate_capped(sm->state) ? "[c]" : "",
if (estate_capped(user))
estate_capped(sm->state) ? "[c]" : "",
estate_capped(sm->state) ? "[c]" : "",
if (!state || estate_capped(state))
return estate_capped(state);
if (estate_capped(user) || is_capped_var_sym(cur->name, cur->sym))