(Working:) Add extra parameter to ApEmpty and ApAlt to allow introducing the Alternative constraint.