Added libraries and ProB co-sim classes.