Semantic checks for CallMacro.