pub fn match_proof_pattern( pattern: &Node, candidate: &Node, subs: &mut HashMap<String, Node>, ) -> bool