SMT code creator

Update jpf-core, jpf-symbc to v7
SMT code creator :accept: