prob-backend-analysis. Analysis of the ProB Backends via inTrees, extracting knowledge from random forests. Code for the publication "Analysing ProB's Constraint Solving Backends: What do they know? Do they know things? Let's find out!".