Revert "syntest rename"

This reverts commit aec9a9154f9321ec29a39d5fcf349a07ee876a62.