CRUISE: error out in some cases where divide by zero is expected