exit_if_seq_smaller is more generalized than exit_if_enabled
add more testcase