Added support for building arbs and qvars with the (notSame ...) relation.