use transaction API in Generator and Runtime (tests-suite not covered yet)