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

...ce