if app.Frozen_definitions[definition_name] then
      app.send('ERROR definition '..definition_name..' is part of Freewheeling infrastructure and cannot be deleted.')
      return
    end