pub fn moved_bytes(p: &SpatialProgram) -> Vec<u64>
Bytes each tensor of p moves a step, every loop at its bound.
p