Function assert_hyp