Generation for subprograms with AADL property value for convention property fails if not in the same package
If the subprogram with AADL convention is in the same aadl package as the call, it works; otherwise the call is done with the value instead of the address of the context.
See line-follower demo to reproduce: move Log subprogram from its package to another.