introduce state for reference resolution, but the state is still an
empty tuple