Changed defn of ?=/2 to avoid laying down a choicepoint.
Authored by: dwarren 2014-07-03
Parent: [r7984]
Child: [r7986]