adding command to copy frsh file before execution

sygus_learner.py

@@ -11,7 +11,7 @@ class SygusLearner(LearnerBase):
     def __init__(self, state_dim, perc_dim, timeout=10000):
         self.file = 'shapes_split.sl'
         self.template_file = 'template_sygus.sl'
-        shutil.copyfile(self.template_file, self.file )
+        shutil.copyfile(self.template_file, self.file)
 
     def set_grammar(self, grammar) -> None:
         raise NotImplementedError