replaced .len() by defProp, added more tests