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