First but buggy try of CondExp::semantic2