(Fixing) Intial Commit for K3 Program Analysis