Source level debugger for the Sea Cucumber synthesizing compiler | IEEE Conference Publication | IEEE Xplore