add test for lambda abstraction
testing version of acc-ctx2code
bug fix in function body
tests for lambda abstractions
clean up typos in dsb code