changed the basic constrain name from has not to has as it now
correspond to the result of the method