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