Emergent Tendencies in Multi-Agent-based Simulations: Using Constraint-based Methods to Effect Practical Proofs over Finite Subsets of Simulation Outcomes