Unit tests for isSatisfied