manifests the SyntheticUnit heuristic
disables some early def tests that fail due to an unknown problem