Factorizing Equivalent Variable Pairs in {ROBDD}-Based Implementations of {Pos}