Fixed if-then-else not activating its propagators.
Merge pull request #104 from JLiangWaterloo/fix-ifthenelse

Fixed if-then-else not activating its propagators.