Compiler specs: Improve variables specs