fixed https://github.com/drlivingston/kr/issues/7 also added tests. and tests for circular reifcation definitions.