Redirecting to macro.assert_set_eq_as_result.html...