User control
The user should be able to select
- the program points to instrument and
- the variables to instrument at those points
This is important for two reasons
- To manage the performance of the inference engine
- To allow the user to focus on the parts of the program that are of interest for the given task