add assert_false and its example.