Enabling Requirements Elaboration Through Synthesis