[Bug] NFPVerification - Project: Some Links to witnesses are not generated
@ferdinand.mehlan tested with contraint rule1.ocl
Tested on version: https://rwth-aachen.sciebo.de/s/ljgKW9cWvL2qMH9?path=%2F1.7.5-BETA
@ferdinand.mehlan tested with contraint rule1.ocl
Tested on version: https://rwth-aachen.sciebo.de/s/ljgKW9cWvL2qMH9?path=%2F1.7.5-BETA