more concise engine labels in test
fixed bug in LcsResultOptimizer
performing self changes after nested ones
fixed bug in LcsResultOptimizer
quick fix for set transformation
fixed ordering of Shifts