Add a SPASS resolution proof without split