Update synthesize_all to reflect new return values.