pub fn verify( p: &SpatialProgram, _target: &SpatialTarget, ) -> Result<SpatialProgram, SpatialReject>