support to HHtauinf std expressions; more refactorig