JSSpe: A Symbolic Partial Evaluator for JavaScript