Add specs to check edgecases for the resolver