Known Vulnerabilities in Simple Klaro