refactor var env + termination + delte message aster processing