* added support for clause parsing
* added dependency graph generation
* added bounded variable check to clauses
* added recursive dependency checks
* added definition 15 check
* removed TokenValue
* completed all the required changes in Argument, Fact and Clause
* respective tests are added