Added derived heuristic for majority-proposition-goals calculator wherein some of those propositions are latched (Reversi corners for example)