Compact OBDDs for 2D-Reducible Functions