Add test for negative assertions (refutions)