Danger: Static Precondition Synchronisation Warning