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