codegen: handle the DP(Atom, Nil) case in codegen_sexpr