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