t-rexp: added history in the input.