Added cached synthesis results