sanity+1 and print traces on failure
print traces on failure