This is an implementation of checking Terminal Buffer Rule violation by using DJ.