ProB modules added