Add a feature that reports the percentage of instances that a constraint is satisfied

Using the adaptive MCMC method, end users currently need to write custom code to sample from a parametric posterior and identify the number of instances (i.e., parameter sets) for which a constraint in a given .prop file is satisfied. Adding this feature would easen the workflow for end users.