Add test case for the bug which was in mgu of TFun
Merge pull request #1 from yairchu/master

Add test case for the bug which was in mgu of TFun