Adds functions to add finite matrices to the finite and mmi checkers to speed up computation.