fix issues with satisfies, variables, and empty populations

do not add empty populations unless they are the numerator