Fix isAmbiguous() renamed isSatisfied() --> isUnsatisfied() for consistency