Fixed bug resulting from fixing i74

http://gsd.uwaterloo.ca:8888/question/338/problem-with-translation-of-abstract-clafers-in