fix disprover on rodin3