disprover: send selected hypotheses to prolog
disprover: store in counter-example if the counter example is based on only the selected hypotheses. if so, output it to the users as error instead of modifying the proof tree