fn match_head( lhs: Either<&Symbol, &VariableDeclaration>, rhs: Option<Either<&SymbolUri, &Variable>>, ) -> bool