Consistency Analysis now takes 4 arguments