import jetbrains.mps.typesystem.TypeSystemReporter;
import jetbrains.mps.typesystem.inference.EquationInfo;
import jetbrains.mps.typesystem.inference.SubtypingManager;
import jetbrains.mps.typesystem.inference.TypeChecker;
import jetbrains.mps.typesystem.inference.TypeCheckingContext;
<BUG>import jetbrains.mps.typesystem.inference.util.StructuralNodeSet;
import jetbrains.mps.util.Pair;</BUG>
import java.util.HashSet;
import java.util.List;
import java.util.Set;

import jetbrains.mps.typesystem.TypeSystemReporter;
import jetbrains.mps.typesystem.inference.EquationInfo;
import jetbrains.mps.typesystem.inference.SubtypingManager;
import jetbrains.mps.typesystem.inference.TypeChecker;
import jetbrains.mps.typesystem.inference.TypeCheckingContext;
import jetbrains.mps.typesystem.inference.util.StructuralNodeSet;
import jetbrains.mps.util.Computable;
import jetbrains.mps.util.Pair;
import java.util.HashSet;
import java.util.List;
import java.util.Set;
