semantic: Ignore empty cases when building CFGs.