fix daub-resolver usage

and update tests