fixed some bugs in Global and LocalProperties, added tests