Towards Attester-Includer Separation