diff --git a/src/Refinements/ECst.class.st b/src/Refinements/ECst.class.st
index d0349cf6c..031433c6f 100644
--- a/src/Refinements/ECst.class.st
+++ b/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.