A proposed approch for the def ast