change name of LowerChevalDeFrise to PassChevalDeFrise and add pre and post condition...