Reduced precision to account for randomness in test data
Return error code when trivially infeasible during compilation