🐛 Describe the bug

Prim inputs are uncommon because of how export generally traces them away. Dynamic prim int inputs are coming soon though and our memory planning verifier currently blows up if all the user inputs are prims. We need to improve the logic of the _do_user_inputs_exist to probably just return false if all the inputs are prims.

Versions

.

cc @angelayi