added some new predicates and some changes to analysis predicates