Started translating procedure specs into the AST.