Fixed NPE in counter-example mining