added check for function calls nested in annotated expressions