Switch inferSeq over to use the shared version of meet.  Its different though.  Audit this