Evaluate while synthesize