Tool support for the compile-time execution structure of object-oriented programs with ownership annotations