version of KeY used for the ips4o TACAS paper