added the promite? predicate and its relative unit tests