Can Formal Outsmart Synthesis: Improving Synthesis Quality of Results through Formal Methods