Fixed isSatisfied method to satisfy Javadoc

Changed a test to suit