added transformation of psi condition trees
drwxr-xr-x - ir