1/1: Building gnu (gnu.idr)
gnu.idr:47:27--49:1:While processing right hand side of TestSurprise1 at gnu.idr:47:1--49:1:
Multiple solutions found in search. Possible correct results:
	gnu1
	gnu2
gnu.idr:50:21--52:1:While processing right hand side of TestSurprise2 at gnu.idr:50:1--52:1:
Multiple solutions found in search. Possible correct results:
	f ()
	g ()
gnu.idr:53:19--54:1:While processing right hand side of TestSurprise3 at gnu.idr:53:1--54:1:
Can't find an implementation for Gnu