[update test suite to match behaviour of improved matching algorithm
Helmut Grohne <grohne@cs.uni-bonn.de>**20150306140248
 Ignore-this: 58cce84fb596e79e75659841480f059b
] 
<
[When adding IOData, give all variables a new, unique name.
tobias@goedderz.info**20150213164747
 Ignore-this: 5fe929e5fcb80e702f15bf790b69731
] 
[make igor2 compile on ghc 7.4.2 and current hackages
Helmut Grohne <grohne@cs.uni-bonn.de>**20131217133624
 Ignore-this: ec4be18819806ae8821ae058e4cccda1
] 
[Replaced type ELT with newtype ELT; files depending on Logger.hs are still broken.
tobias@goedderz.info**20140716144805
 Ignore-this: 9a0a0c29c5d0558ab4848c597160c9a4
] 
[Fixed usages of lift on LM and ELT types
tobias@goedderz.info**20140717102434
 Ignore-this: 184c6a37204db852f905c6a87ecb9571
] 
[Few minor changes for readability.
tobias@goedderz.info**20150114123248
 Ignore-this: 70913a295974b9566170546f7877528c
] 
[Made some instances polymorphic
tobias@goedderz.info**20140717105948
 Ignore-this: 81593f1f48a3398031208b852ce2237e
] 
[remove unneeded instances in Logger
Helmut Grohne <grohne@cs.uni-bonn.de>**20140717123954
 Ignore-this: bc53f7679628a8ac6efbea0a29ef14ca
] 
[get rid of lift4 and use liftIO instead
Helmut Grohne <grohne@cs.uni-bonn.de>**20140717072357
 Ignore-this: 2afcece0c24cde0f8dcb57a462633bf6
] 
[add MonadLog class to get rid of llog* and friends
Helmut Grohne <grohne@cs.uni-bonn.de>**20140717145205
 Ignore-this: fe9fdbcb5eba43a5adae97e7df2c1608
] 
[Restructured makeIOMatrix and its usage.
tobias@goedderz.info**20150226142003
 Ignore-this: 52968b8bc6a407c6a8cd26e088d13c88
 
 - removed the dispensable "Maybe" from makeIOMatrix's return type
 - standardized argument order regarding cll/tgt
 - clarified some comments where cll/tgt where mixed up
] 
[If indirectCall can derive closed helper functions, use only those.
tobias@goedderz.info**20150303093405
 Ignore-this: a3884663790b31b398603381e529f62f
 
 Added a function bestMatchings that can generally compute exactly the same IO
 examples as allMatchings, but prunes all which result in open helper functions
 (which compute the arguments).
 
 This behaviour is scheduled to be refined later.
 
 If bestMatchings' result is not empty it will be used instead of allMatchings'
 result. This results in a shorter running time and, on our current test cases,
 in exactly the same results.
] 
[Generalized bestMatchings to return all matchings with a maximal number of closed rules (instead of only closed rules)
tobias@goedderz.info**20150304154357
 Ignore-this: 851c8bb5f9ca8577f0610d2aa83e3af3
] 
> hunk ./regression_tests/subfunctionwildcard.out 28
-             subfunctionwildcard in 1749     loops
+             subfunctionwildcard in 44     loops
hunk ./tests/add.out 28
-             add          in 266     loops
+             add          in 6     loops
hunk ./tests/eq.out 28
-             eq           in 2527     loops
+             eq           in 321     loops