Just opening this up again as I came across this issue. The above resolution will not work if you're looking for leads in ANY engagement program as leads in only one engagement program will still qualify for the smart list since they meet both filter criteria.