continued testing global-clock GV6;
initial experiments for automatic specialization of transactional functions and methods