xcfa-cli issue: UNSAT_CORE refinement tries to use ItpRefToPtrPrec and crashes

[AdamZsofi]

Version: Theta 6.5.1 (most likely persists to 6.5.2, but I did not check)

Configuration:

--input sv-benchmarks/c/locks/test_locks_15-1.c --backend CEGAR --refinement UNSAT_CORE --property sv-benchmarks/c/properties/unreach-call.prp --enable-output --por-level NOPOR --stacktrace

Error:

java.lang.ClassCastException: class hu.bme.mit.theta.analysis.expr.refinement.VarsRefutation cannot be cast to class hu.bme.mit.theta.analysis.expr.refinement.ItpRefutation (hu.bme.mit.theta.analysis.expr.refinement.VarsRefutation and hu.bme.mit.theta.analysis.expr.refinement.ItpRefutation are in unnamed module of loader 'app')

Detailed output/stacktrace:
unsat_core_stacktrace.txt