fix issues with satisfies, variables, and empty populations

why are we removing 2??? shouldn't we only have 1 left hand side?