Added missing var unifications