Compiler specs: Improve builtin calls specs