JavaScript version of our CodeHint synthesis tool.