simplify not_empty: value passed to binder is already stripped