public void init(ResourceRecs recs)
 {
     ResourceRecs = recs;
     VProgramGenerator.Assertion_cs = Properties.Resources.Assertion;
     VProgramGenerator.Program_cs   = Properties.Resources.Program;
 }
 public void init(ResourceRecs recs)
 {
     ResourceRecs = recs;
     VProgramGenerator.Assertion_cs = Properties.Resources.Assertion;
     VProgramGenerator.Program_cs = Properties.Resources.Program;
 }