updated assertion at REVERSE_LONGER