Clara (CompiLe-time Approximation of Runtime Analyses) - View it on GitHub