The Impact of Higher-Order State and Control Effects on Local Relational Reasoning