added analysis predicates: store, store-element, address-value, address-ovalue, address-fvalue, protochain, oaddress-protoaddress+, oaddress-pname-paddress,avalue-cvalue, oaddress-pname-pstring-paddress predicates and new test cases