fixed iterative transitive closure and turned off automatic debugging