wrote clause dependency calculator (untested)