a symbolic parser for javascript