fix issues with satisfies, variables, and empty populations