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