Working on #14: Java has a way to detect win or loss now, and ACL2 has a way to indicate a loss in the format Java expects