For a must analysis, perform meet of all incoming values before propagating to a formal parameter