bugfixes in the between predicate, stabilization works better