Clara: a Framework for Statically Evaluating Finite-state Runtime Monitors