Added operation annotations to debug visualization of conditions