Compiler specs: Improve ternary operator specs