Update population logic view, fix precondition keys in svg viz