check that the local state presence condition in not true not the whole constraint