Templating: fixed recursive functions
Templating, IRtoSSM: fixed functions with abstractemptylists
tests/codegen: added pass_emptylist