SQUASH with 9600..."Supermonkey implementation of EIte" -- better language, reference #272 too

Author: shingarov

src/Refinements/ECst.class.st

@@ -136,8 +136,9 @@ ECst >> smt2: γ [
 
 	(expr isKindOf: EApp) ifFalse: [ ^expr smt2Cast: sort in: γ ].
 
-	"BOGUS CODE!!!
-	 DO NOT MERGE THIS BEFORE WE UNDERSTAND WHY CONTROL CAN REACH HERE!"
+	"TODO: Investigate why control can reach here.
+	 See Issue#272."
+	
 	"(ECst (EApp...)):
 	Possibly need to uncurry."
 	fxyz := self splitArgs.