actually, we want Local Unset Elimination Schemes
define Empty_rect