powered by
Check if full matching was achieved
check_full_matching(result)
No return value; throws error if unmatched units exist.