new_contents: 
  
  from core.himesis import Himesis, HimesisPreConditionPatternLHS
  
  class HEmpty_IsolatedConnectedLHS(HimesisPreConditionPatternLHS):
      def __init__(self):
          """
          Creates the himesis graph representing the AToM3 model HEmpty_IsolatedConnectedLHS.
          """
          # Flag this instance as compiled now
          self.is_compiled = True
          
          super(HEmpty_IsolatedConnectedLHS, self).__init__(name='HEmpty_IsolatedConnectedLHS', num_nodes=0, edges=[])
          
          # Add the edges
          self.add_edges([])
          # Set the graph attributes
          self["mm__"] = ['MoTifRule']
          self["MT_constraint__"] = """#===============================================================================
  # This code is executed after the nodes in the LHS have been matched.
  # You can access a matched node labelled n by: PreNode('n').
  # To access attribute x of node n, use: PreNode('n')['x'].
  # The given constraint must evaluate to a boolean expression:
  #    returning True enables the rule to be applied,
  #    returning False forbids the rule from being applied.
  #===============================================================================
  
  return True
  """
          self["name"] = """empty_IsolatedConnected"""
          self["GUID__"] = 6754891666562252613
          
          # Set the node attributes
  
      def constraint(self, PreNode, graph):
          """
              Executable constraint code. 
              @param PreNode: Function taking an integer as parameter
                              and returns the node corresponding to that label.
          """
          #===============================================================================
          # This code is executed after the nodes in the LHS have been matched.
          # You can access a matched node labelled n by: PreNode('n').
          # To access attribute x of node n, use: PreNode('n')['x'].
          # The given constraint must evaluate to a boolean expression:
          #    returning True enables the rule to be applied,
          #    returning False forbids the rule from being applied.
          #===============================================================================
          
          return True
  
  
subject: Add empty property to property verification folder.