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