Preconditions requirement type added.