updated version
updated to most recent ProB 2.0