add stats for @satisfies_expr

Author: erik-krogh

javascript/ql/lib/semmlecode.javascript.dbscheme.stats

@@ -450,6 +450,10 @@
 <v>100</v>
 </e>
 <e>
+<k>@satisfies_expr</k>
+<v>100</v>
+</e>
+<e>
 <k>@preinc_expr</k>
 <v>1792</v>
 </e>