SZS status Theorem for i/f/finite_map/flookup__thm_c1
