Significantly increase test coverage for invalid synthesis operations and practices