+ Comment the unused import
+ Correct the function testConstructorFromLattice