Function assert_rat