The question may be moot, as the evidence is that most things of importance were evacuated prior to the American raid, so hitting those sites again, as well as the newer, deeper ones being built, is a waste of money and goes against Trump's rhetoric*. Iran is defenseless as it is, and Netanyahu - maybe too early to say - seems satisfied in proving his point. Israel has escalation dominance throughout the region, the US can potentially be invoked as a trump card at any time, and the Iranian nuclear program will struggle to establish itself beyond its preexisting level of progress until it can address its extensive infiltration (the overhead surveillance was already a fact of life).

*I know, I know, but Trump actually has a long and consistent record of limited, symbolic bombings and attacks in the Middle East in the pursuit of ostentatious "peace." He would have done it to North Korea too, had they not already had a longstanding nuclear arsenal, and/or had Kim not won him over.