Make M-t run also code generation and case splitting
Fixes #308