void GaloisRuntime::forceAbort() { signalConflict(); }
void Galois::Runtime::forceAbort() { signalConflict(NULL); }