added transformation of psi condition trees