TDD test for UserManager

as above