Replaced bitwise operation with or operator in not_red_card_substitution function.
Authored by: merry75 2017-01-21
Parent: [r442]
Child: [r444]