Remove neseq.v for now