Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of <EM>Pos</EM>