[NOT TESTED] conditional expression semantic impl