+ remove mistaken exit command from ciBDD script