FIX semantics of a FunctionDeclaration nested in a Library
FIX semantics of a JoinPoint in a Sequence