Consistency Analysis in Bloom: a CALM and Collected Approach