Redirecting to macro.assert_ready_eq_expr_as_result.html...