Fixed bug with the conversion of SAFE to FSEQ and SEQ variants. There was no check that the pointer is non-zero. Also there were some problems with the SEQN and FSEQN
Fixed bug with the conversion of SAFE to FSEQ and SEQ variants. There was no check that the pointer is non-zero. Also there were some problems with the SEQN and FSEQN

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c