(unsuccessful) hacking on evaluation of FV_decs