Added labels to 'if-then-else'.
Fixed backtracking when 'if-then-else' and 'fail' are used in
combination.