Function parse_negate 

fn parse_negate(
    ctx: &'_ Ctx<'_>,
    input: ParseStream<'_>,
) -> Result<MirRelationExpr>