Analysis of the Holonomic Constraint in the Whipple Bicycle Model