ChaseT: A tool for checking chase termination