long list of set_skips for case-constants no longer needed, translator adds them automatically via adjoin_to_theory