Beginning of the implementation of in-choice requirements. WARNING: this
will break your choice construction!