param iter iter object ad param predic object fulfil ad add element iter iter argouml util predic argouml util predic add element iter iter iter evalu add 