pub fn parse_objective_statement(

    ctx: &mut ParseContext,

    node: &Node,

) -> Result<Option<Objective>, FatalParseError> {

    let direction_node = field!(node, "direction");

    let direction_str = &ctx.source_code[direction_node.start_byte()..direction_node.end_byte()];

    let direction = match direction_str {

        "minimising" => OptimiseDirection::Minimising,

        "maximising" => OptimiseDirection::Maximising,

    let Some(expression_node) = field!(recover, ctx, node, "expression") else {

    let saved_context = ctx.typechecking_context;

    let saved_inner_context = ctx.inner_typechecking_context;

    ctx.typechecking_context = TypecheckingContext::Unknown;

    ctx.inner_typechecking_context = TypecheckingContext::Unknown;

    let parsed = parse_expression(ctx, expression_node);

    ctx.typechecking_context = saved_context;

    ctx.inner_typechecking_context = saved_inner_context;

    let Some(expression) = parsed? else {

    Ok(Some(Objective {

        direction,

        expression,

    }))

}