add2Env written - working on termination proof
fixed conflict