telescopic ProB