no wrl for patterns-contracts