Nonlinear Test Slow by CausaliDox