Numerical Analysis for a Non-isothermal Incompressible Navier–Stokes–Allen–Cahn System | Synapse