change name of LowerDrawBridge to PassDrawBridge and add pre and post condition comments