Reordering priorities of rules: first try to make a step on the term on the right, and unfold constants only at the end.