Created Wrapper for Proving with KeY