addMemberDefs success test
getPredicates tests