visitor for silly cases of ifs with dead branches