Lossless-join is guaranteed by the requirement that a candidate key for be in at least one of the schemes.
The set of functional dependencies is
The for loop in the algorithm gives us the following decomposition:
Since Banker-scheme contains a candidate key for Banker-info-scheme, the process is finished.