fix bug in AllenTable and improve Resolver output in case of inconsistence
Merge pull request #19 from haithun/marcel

fix bug in AllenTable and improve Resolver output in case of inconsisten...