Finished integration of MVPF mode to system.
BC/BC+ no longer allow negation in the head of their rules.