public TransferPhase( TransferState precondition, Action action )
new : precondition : TransferState * action : Action -> TransferPhase