estate_new
if (estate_new(one) != estate_new(two))
if (estate_new(s1) || estate_new(s2))
bool estate_new(struct smatch_state *state);