initial ptlsim-atom cond add