Yes, not only is there precedent but the agreement very specifically lists this as a remedy. Not only that, but Twitter claims in the lawsuit they filed it was

Yes, not only is there precedent but the agreement very specifically lists this as a remedy. Not only that, but Twitter claims in the lawsuit they filed it was added during negotiation rather than being some standard clause in the initial version, as well as highlights that the agreement stipulates that if they go this route then there may be no objection to the process (in other words, Musk can't argue a technicality to try and prevent a hearing on forcing specific performance).