Added more precise tests (concrete values)