Added a PINS class to help with ProB calls