BUG: Adapt SFC translator to SFC code in Nitrogen