Revealing the trajectories of KLAIM tuples, statically