More work on microcode injection
Ground work for microcode
Refactoring SAT to introduce microcode injection