Compiler specs: Improve logical operators specs