diff --git a/src/compiler/GF/Compile/Compute/ConcreteLazy.hs b/src/compiler/GF/Compile/Compute/ConcreteLazy.hs
index 209c56a60..c120ab03a 100644
--- a/src/compiler/GF/Compile/Compute/ConcreteLazy.hs
+++ b/src/compiler/GF/Compile/Compute/ConcreteLazy.hs
@@ -291,6 +291,15 @@ computeTermOpt gr = comput True where
      comp = comput True
 
      look c = errr (lookupResDef gr c)
+     {- -- This seems to loop in the greek example:
+     look c = --trace ("look "++show c) $
+              optcomp =<< errr (lookupResDef gr c)
+       where
+         optcomp t = if t==Q c
+                     then --trace "looking up undefined oper" $
+                          return t
+                     else comp [] t -- g or []?
+     -}          
 
      ext x a g = (x,a):g  -- extend environment with new variable and its value