code: def save(self, path):
      with open(path, "w") as fp:
          fp.write("# Copyright (c) Microsoft Corporation.\n")
          fp.write("# Licensed under the MIT license.\n\n")
          fp.write(self.code)
  
imports: import os, sys, json, re
  import tempfile
  import copy
  import inspect
  import logging
  import importlib
  from .None import solver
  from .None import patterns
label_desc: Use image node_id 2 for calling the Program obj's underlying member method code with example usage: obj.save(path) without return types