debugging covariance to see why correctness is false on SCAL computer