fixed the segfault, removed unneccessary output and new segfault in checkallclasses
fixed the error in veriffuncCode, but there is a false negative