Possible Bug in veriT with regards to `resolution`
Runqing reported the following proof fragment and indicated that there might be a bug. In this case it means that there is no actual resolution chain.
step snapshot: (step t1201 (cl @p_2430 @p_453 @p_458 @p_2390 @p_2434 @p_2312
@p_2316 @p_2444 @p_2291 @p_2293) :rule resolution :premises (t950 t1190 t1193
t1038 t345 t349 t348 t1059 t1093 t826 t824 t1013 t835 t626 t570 t568 t627 t571
t968 t964 t960 t956 t341 t573 t943 t948 t565 t1185 t347 t1198 t1200 t988 t952
t1060 t828 t825 t1015 t836 t629 t574 t987 t945 t949))
problem: we could not find a resolution chain after we went over the premises.