kb_atom_to_assumptions doesn't need to be applied to the output of array_elem_assumptions
kb_atom_to_assumptions doesn't need to be applied to the output of array_elem_assumptions

zachsully/hakaru,zachsully/hakaru