Testing the openLocalStateFrom problem in acid-state