This is exactly what I've done. To reproduce is to take the revision of the compiler from 2 days ago and compile eweasel test#exec325 and then you get the precondition violation when you should not.