Fixed a bug where indices where not found in the indexExists precondition