SZS status Theorem for i/f/finite_map/is__fmap__rules_c0
