warning if multiple positions suitable for invariants