fix definition of sv_every
update some compiler proofs