Ensemble fw/bw

A small pull request to fix the error in forward/backward prediction of negated ensembles. It uses a little trick to get the correct prediction if continuing makes sense. I also moved some code from the base class Ensemble to the classes Full and EmptyEnsemble to keep things clearer.