clean up getValue method
implement unconstrained time and fixe freeze tests