add JGiven test