* Added tests for gdl reasoner
* Added main for kif flattener