GroundRewriter uses State