Describir: Checking Residual Paramodularity