remove unused assertion
remove unused assertion

douglas-larocca/linguist,iblech/linguist,alitalia/linguist,marcojonker/test,jrnold/linguist,whitj00/linguist,mattn/linguist,cokeboL/linguist,MostAwesomeDude/linguist,kr/linguist,github/linguist,hcatlin/linguist,pchaigno/linguist,anhongyue/test222,thejameskyle/linguist,chiranjeevjain/linguist,github/linguist,0a-/linguist,yyx990803/linguist,whitj00/linguist,cybernet14/linguist,FStarLang/linguist,cybernet14/linguist,pchaigno/linguist,chiranjeevjain/linguist,stanhu/linguist,iblech/linguist,PsichiX/linguist,martynbm/linguist,martynbm/linguist,CoderXpert/linguist,steventhanna/linguist,MadcapJake/linguist,Rockyspade/linguist,alvarotrigo/linguist,sebgod/linguist,pchaigno/linguist,CegepVictoriaville/linguist,erkyrath/linguist,marcojonker/test,assimovt/ling-ist,davidzchen/linguist,MahmoudFayed/linguist,ya7lelkom/linguist,MadcapJake/linguist,georgesuperman/linguist,sebgod/linguist,osorgin/linguist,stanhu/linguist,wcandillon/linguist,BerkeleyTrue/linguist,mcandre/linguist,BerkeleyTrue/linguist,thejameskyle/linguist,sideci-sample/sideci-sample-linguist,Mx7f/linguist,hcatlin/linguist,seanders/linguist,R4PaSs/linguist,MostAwesomeDude/linguist,alitalia/linguist,adamkaplan/linguist,phpsgi/linguist,pcantrell/linguist,jjatria/linguist,nburkley/linguist,jjatria/linguist,kr/linguist,mwpastore/linguist,yscho/linguist,Rockyspade/linguist,mwpastore/linguist,JJ/linguist,anhongyue/test222,bluebear94/linguist,mcandre/linguist,sagar290/linguist,ilyes14/linguist,sideci-sample/sideci-sample-linguist,jtbandes/linguist,tschf/linguist,c-lipka/linguist,cokeboL/linguist,SRI-CSL/linguist,christop/linguist,sebgod/linguist,pchaigno/linguist,MahmoudFayed/linguist,nburkley/linguist,davidzchen/linguist,c-lipka/linguist,kyoungrok0517/linguist,stanhu/linguist,erkyrath/linguist,hcutler/linguist,ammaraskar/linguist,seanders/linguist,phpsgi/linguist,yscho/linguist,ya7lelkom/linguist,meunierfrederic/octocatlinguist,FStarLang/linguist,github/linguist,CegepVictoriaville/linguist,ppaulweber/github-linguist,osorgin/linguist,kyoungrok0517/linguist,manveru/linguist,yyx990803/linguist,adamkaplan/linguist,0a-/linguist,pcantrell/linguist,ilyes14/linguist,github/linguist,wcandillon/linguist,alvarotrigo/linguist,steventhanna/linguist,georgesuperman/linguist,SRI-CSL/linguist,ppaulweber/github-linguist,PsichiX/linguist,hcutler/linguist,a0viedo/linguist,CoderXpert/linguist,jrnold/linguist,Mx7f/linguist,tschf/linguist,manveru/linguist,erkyrath/linguist,bluebear94/linguist,matt40k/linguist,JJ/linguist,meunierfrederic/octocatlinguist,erkyrath/linguist,JJ/linguist,yyx990803/linguist,stanhu/linguist,mattn/linguist,assimovt/ling-ist,yyx990803/linguist,jtbandes/linguist,JJ/linguist,ammaraskar/linguist,meunierfrederic/octocatlinguist,a0viedo/linguist,christop/linguist,matt40k/linguist,sagar290/linguist,sebgod/linguist,douglas-larocca/linguist,scttnlsn/linguist,R4PaSs/linguist,scttnlsn/linguist