a - a stopsuffix is indicated and met, b - the last transformation is included in the transformation path. 2 - Maintains a 'cash' of best paths for all transformation to be executed.