The phase dots on the "Transformer\_Centr\_Tapped\_US" & "Mutual\_Inductor2\_US" from "Spice Lib"/"System" do not indicate correct phase\. The dots are supposed to indicate coincident rising potentials but simulations show otherwise\.
Here's how LTspice (correctly) handles it (notice V(out1) is in-phase with V(in)):

Here's how "Transformer\_Centre\_Tapped\_US" behaves \(my public project Transformers\_0003\):

Here's the schematic for the above waves:

Here are the waves for "Mutual\_Inductor2\_US" \(my public project Transformers\_0004\) followed by its schematic:


Notice that in the last two cases V(out1) is out-of-phase with V(in).
Chrome
81.0.4044.138
OS X
10_15_4
EasyEDA
6.3.43