Handle more general case: The right hand side of an And does not need to be an Immedi...