The impact of higher-order state and control effects on local relational reasoning