system now supports the global expressions and binder cases