solver: Flatten choose_subject()
solver: Flatten choose_subject()

Do not use the expression_terms_foreach() function, since it makes
the implementation more complicated.

ebassi/emeus,ebassi/emeus,ebassi/emeus