Enhancing SQL Query Generation with Neurosymbolic Reasoning