LevelPreds
  { lpredPre =
      NameT
        "p_galois'rows_width'P"
        [ TyCon "map" [ TyCon "int" [] , TyCon "int" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "addr" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
        , TyCon "addr" []
        , TyCon "int" []
        , TyCon "int" []
        ]
  , lpredLoops =
      [ NameT
          "p_galois'rows_width'I1"
          [ TyCon "map" [ TyCon "int" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "addr" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "int" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "addr" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "addr" []
          , TyCon "int" []
          , TyCon "int" []
          , TyCon "int" []
          , TyCon "int" []
          , TyCon "addr" []
          , TyCon "int" []
          , TyCon "int" []
          ]
      , NameT
          "p_galois'rows_width'I2"
          [ TyCon "map" [ TyCon "int" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "addr" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "int" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "addr" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
          , TyCon "addr" []
          , TyCon "int" []
          , TyCon "int" []
          , TyCon "int" []
          , TyCon "int" []
          , TyCon "addr" []
          , TyCon "int" []
          , TyCon "int" []
          ]
      ]
  , lpredPost =
      NameT
        "p_galois'rows_width'Q"
        [ TyCon "map" [ TyCon "int" [] , TyCon "int" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "addr" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
        , TyCon "map" [ TyCon "int" [] , TyCon "int" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "addr" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
        , TyCon "map" [ TyCon "addr" [] , TyCon "int" [] ]
        , TyCon "addr" []
        , TyCon "int" []
        , TyCon "int" []
        ]
  , lpredCalls = fromList []
  }