[Bug 1319099] New: incorrect use of Requires(pre)?