I took the liberty to remove this one because actually, there are assertions in the tests to ensure that the Propel constant is defined. However, if you want to keep it, it would be better to mark the test as failed (but AFAIK, PHPUnit doesn't provide any `markTestFailed` or something like this).