Neural Abstractions - Right Click Save