Cleanup meet with type var inside before computing LCS, MPS-18860
Avoid going into an infinite loop on adding var = var equation which has no effect, MPS-18867
Merge remote-tracking branch 'origin/MPS3.0'