It is clear that if Mueller had not been barred by the OLC opinion, he would have charged Donald Trump with obstruction.