Disable the PreconditionsExpensiveString check, since it has a bug.
Update issue 173