initialize time constraint so some reasonable value
initialize time constaint in the test
capitalize user option DefaultDiagonalizationPrecision
capitalize user option and give it a more specific name