//@Description Toy benchmark that explores the use of generators.

int spec( int x, int y ){
   return (x + x) * (y + 5);
}

generator int axpb(int x){ /* automatically rewritten */
   return ?? * x + ??;
}

int sketch( int x, int y ) implements spec{
   return ( axpb(x) ) * ( axpb(y) );
}