pub fn parse_given_statement(
ctx: &mut ParseContext<'_>,
given_statement: Node<'_>,
) -> Result<BTreeMap<Name, Moo<Domain>>, FatalParseError>pub fn parse_given_statement(
ctx: &mut ParseContext<'_>,
given_statement: Node<'_>,
) -> Result<BTreeMap<Name, Moo<Domain>>, FatalParseError>