introduce Preconditions to rules