Add consequential()

[stefanoborini]

We need something that allows to check if a is defined, then b must also be defined. And if a is not defined, then b must not be defined.