mple_instance :: Instance Int
example_instance = 
  Instance { signatur = PL.Signatur.signatur
                         ( read "s(z())" :: Term )   
               , a_struktur = Struktur
                   { universum = S.fromList [0,1]
                   , functions = M.fromList 
                        $ read "[ (s,{(0,1),(1,0)}), (z,{0})]" 
                   , predicates = M.fromList []
                   }             
               , b_struktur = Struktur
                   { universum = S.fromList [0,1]
                   , functions = M.fromList 
                        $ read "[ (s,{(0,1),(1,1)}), (z,{0})]" 
                   , predicates = M.fromList []
                   }             
               }  

example_instance :: Instance Int
example_instance = 
  Instance { signatur = PL.Signatur.signatur
                         ( read "s(z())" :: Term )   
               , a_struktur = Struktur
                   { universum = S.fromList [0,1]
                   , functions = M.fromList 
                        $ read "[ (s,{(0,1),(1,0)}), (z,{0})]" 
                   , predicates = M.fromList []
                   }             
               , b_struktur = Struktur
                   { universum = S.fromList [0,1]
                   , functions = M.fromList 
                        $ read "[ (s,{(0,1),(1,1)}), (z,{0})]" 
                   , predicates = M.fromList []
                   }             
               }
example_instance = 
  Instance { signatur = PL.Signatur.signatur
                         ( read "s(z())" :: Term )   
               , a_struktur = Struktur
                   { universum = S.fromList [0,1]
                   , functions = M.fromList 
                        $ read "[ (s,{(0,1),(1,0)}), (z,{0})]" 
                   , predicates = M.fromList []
                   }             
               , b_struktur = Struktur
                   { universum = S.fromList [0,1]
                   , functions = M.fromList 
                        $ read "[ (s,{(0,1),(1,1)}), (z,{0})]" 
                   , predicates = M.fromList []
                   }             
               }