Test case for issue 80
Remove unused stuff from Frege.y