support for add-proof-clause in IdeSlave