buildExpr -> defExpr