import org.sonar.java.se.ProgramState.Pop;
import org.sonar.java.se.constraint.ObjectConstraint;
import org.sonar.java.se.symbolicvalues.SymbolicValue;
import org.sonar.plugins.java.api.semantic.Symbol;
import java.util.List;
<BUG>import static org.assertj.core.api.Assertions.assertThat;
public class ProgramStateTest {</BUG>
@Test
public void testing_equals() {
SymbolicValue sv1 = new SymbolicValue(1);

import org.sonar.java.se.ProgramState.Pop;
import org.sonar.java.se.constraint.ObjectConstraint;
import org.sonar.java.se.symbolicvalues.SymbolicValue;
import org.sonar.plugins.java.api.semantic.Symbol;
import java.util.List;
import static org.assertj.core.api.Assertions.assertThat;
import static org.assertj.core.api.Assertions.assertThatThrownBy;
public class ProgramStateTest {
@Test
public void testing_equals() {
SymbolicValue sv1 = new SymbolicValue(1);
