fix a bug in struct-type-property predicates #78