Semantic checks for Mlu.