fun add_all(exprs: Array[AExpr])
	do
		for expr in exprs do
			add(expr)
		end
	end