Simplify preconditions