Add inverse functional object property to all constraints