Removed prolog handling
Unsupported use case tests in their separate dirs