Added tests for User correctness