Bound on the OBDD Complexity of the Most Significant Bit of Multiplication -- Modelling