diff --git a/flatten-seq.scm b/flatten-seq.scm
index 5551a216..cf9b6333 100644
--- a/flatten-seq.scm
+++ b/flatten-seq.scm
@@ -1,4 +1,4 @@
-(import (scheme base) (scheme write) (scheme cyclone util))
+(import (scheme base) (scheme write) (scheme cyclone util) (scheme cyclone pretty-print))
 
 (define sexp
   '(Cyc-seq
@@ -8,21 +8,37 @@
            ((Cyc-seq
              (set-cdr!  a '(2))))))))
 
-;; TODO: goal is a single cyc-seq containing all expressions as a single list
-(define (convert sexp)
+;; Flatten a list containing subcalls of a given symbol.
+;; For example, the expression: 
+;;
+;;  '(Cyc-seq
+;;         (set! b '(#f . #f))
+;;         ((Cyc-seq
+;;           (set-car!  a 1)
+;;           ((Cyc-seq
+;;             (set-cdr!  a '(2)))))))
+;;
+;; becomes:
+;;
+;;  '(Cyc-seq
+;;     (set! b '(#f . #f))
+;;     (set-car!  a 1)
+;;     (set-cdr!  a '(2)))
+;;
+(define (flatten-subcalls sexp sym)
   (define (flat sexp acc)
-    (write `(flat ,sexp)) (newline)
     (cond
-      ((null? sexp) acc)
-      ((tagged-list? 'Cyc-seq sexp)
-       (flat (cdr sexp) acc))
-      ((and (app? sexp)
-            (tagged-list? 'Cyc-seq (car sexp)))
-       (flat (cdar sexp) acc))
-      (else 
-        (flat (cdr sexp) (cons sexp acc))))
+      ((not (pair? sexp))
+       acc)
+      ((and (app? (car sexp))
+            (app? (caar sexp))
+            (tagged-list? sym (caar sexp)))
+       (flat (cdaar sexp) acc))
+      (else ;;(pair? sexp)
+        (flat (cdr sexp) (cons (car sexp) acc))))
   )
   (reverse
-    (flat sexp '(Cyc-seq))))
+    (flat sexp '())))
 
-(write (convert sexp))
+(pretty-print (flatten-subcalls sexp 'Cyc-seq))
+(pretty-print (flatten-subcalls '(a b c d e (f (g))) 'Cyc-seq))