Use newly introduced makeNonDetOfType method for poisons

Signed-off-by: Hernan Ponce de Leon <[email protected]>

dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/visitors/VisitorLlvm.java

@@ -868,9 +868,7 @@ public Expression visitArrayConst(ArrayConstContext ctx) {
     @Override
     public Expression visitPoisonConst(PoisonConstContext ctx) {
         // It is correct to replace a poison value with an undef value or any value of the type.
-        BooleanType booleanType = types.getBooleanType();
-        var nondeterministicExpression = new BNonDet(booleanType);
-        return expressions.makeCast(nondeterministicExpression, expectedType);
+        return makeNonDetOfType(expectedType);
     }
 
     @Override