Bug fix for outputting abstract clafers.