public void TrySetOppositeConstraint_Existing_No_Set_True()
{
var ps = new ProgramState();
var newProgramStates = sv_0.TrySetOppositeConstraint(BoolConstraint.True, ps).ToList();
newProgramStates.Should().HaveCount(2);
ShouldHaveConstraint(newProgramStates[0], sv_0, NullableValueConstraint.HasValue);
ShouldHaveConstraint(newProgramStates[0], sv_w, BoolConstraint.False);
ShouldHaveConstraint(newProgramStates[1], sv_0, NullableValueConstraint.NoValue);
}
