implementation of an incremental construction for Haskell code from ABC