FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions