The resolver bug is definitely in pex