Bytecode: fix treatment of temporary terms (in non-block mode)

The “temporary_terms_union.insert(it)” statement introduced in the previous
commit was in the wrong block.

By the way, replace the “switch” by an “if constexpr”.