change notation of ast
change structure of the proj