Macro rate_common::requires

macro_rules! requires {
    ($($arg:tt)*) => { ... };
}

Like invariant, but for preconditions.