avoid infinite loop when calling rev with flex term

[FissoreD]

before:

main :-
  std.rev A B. % Here infinite loop

now: when $1^{st}$ arg of std.rev is flex, modes correctly prevents the loop