If there is no strict msg, return empty list
All the mess I have in one commit

- eq proving graph generator
- supercompilation combinators in functional style
- some fixes