include "AST.ma".

ndefinition costlabel ≝ ident.