Adds rule to check exact_length