Added is_not sequence check functions for SPiCE