A tool for reachability and termination analysis of integer programs