renumberVariable in Expr + test + bug fixed in Pred insert