The following additional constraints are used in this example:
for and ,
for such that expansion_prerequisite[expansion] is not missing,