Fixed semantic check regarding ACN choice conditions checking