Fix ambiguities between bubble and attributes for rules.
Integrate requires and ensures into rules instead on any term.