ProB Parser library