A method and device to help an aircraft change altitude in case of reduced separations is disclosed. The resulting phase-abstracted design can then be processed much more efficiently by functional verification engines than the original multiphase circuit design due to the reduced number of registersinputs. In particular, the configuration of the thruster can be changed to vary the direction of the thrust vector around the longitudinal axis to maneuver a connector on the thruster into contact with the mooring mast. The method further includes the step of identifying a molecular structure of the isolated milk trisaccharide sample.