Tests for debugging of operation calls and recursive properties (not
finished yet).