converting to more concrete ast