Completely redisigned algorithm. It seems to work rather fine, but I
think I already made out some cases were objectives can interfere with
tasks... because now I'm using the scheme that Mistry:2007 has proven
to suffer from that issue. Ah well.