add pre and post conditions for the LiftPortcullis command