let incr env = {env with unstruct_coef = env.unstruct_coef + 1}