Since the property is measured with respect to the proximity dependences
and independently of the validity dependences, the "parallel" name was
considered to be too confusing.  Hopefully, the new name is less confusing.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>