statement() needs proper branching