bugfix: Formula.is_closed