Changed return value of ProofSystem.verify() from BooleanElement to boolean