Optimize memory consumption of alternative binary implication
computation