Proper implementation and tests for get-operations and get-states