replaced equation-based instruction selector by more straighforward one.