//@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) ); }