Add getProofModel to Nodes.