calculate sloc, #klee test passes as separate files