Preconditions finder worked incorrectly