Removed matching number from invariants

This prevents the true statement dominationNumber < matching_number to pop up.