simplify block arity checking