Function assert_cons