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