Try to commit case and lambda on ST array.
It works but it is invalid for strong normalization.
Should backtrack.