why doesn't this __SMACK_assert(FALSE) fire when we run smack?
turning this file off for the time being