sclass WeightedProduction {
  S a, b, c; // a + b = c
  double weight;
  
  *() {}
  *(S *a, S *b, S *c, double *weight) {}
}