Added more tests and stubs for tests around the programming state