Modifying snark-interface to return also the premises used in the proof.