Synthesize, a property generating system for JavaScript