Add is_infix_of/2 w/ tests