#6: added unit tests for isSatisfiedProp