bug resolved: wrong-dead-code detection in conditional node