Does the Ada-Changer handle the Ada elaboration aspect correctly?

Does the Ada-Changer handle the Ada elaboration aspect correctly?

Yes. Think of Ada-C/C++ Changer just like a validated Ada95 compiler. It handles the full language, and generated C/C++ code that does precisely what the Ada program did.