Tests: valid
Depends: alt-ergo

Tests: invalid
Depends: alt-ergo
