emit-top-level instead of emit-str so disj the lifted expr is simple