session Net_Check = Flow_Networks +
  options [document = false]
  theories
    NetCheck
    
