Add initial support for the convergent attribute.