Adds new slave to replace the previous used in slow mmi checks. This one now uses the cached MassFiniteCheck and recognises that empty matrices are finite.