Shifts:
- shifts of subexpressions work
- shifts with subset assignment work
- shifts of shifts work