I was trying to replicate your idea for a push button, but I an unable to get the same waveform.
Could you please comment on what I am doing wrong?
I have attached the schematic.
I uploaded a version that I should not have.
I looked at the netlist and added it to the symbol properties.
I now solved the issue: my problem is that I edited the spice model for the switch. It seems like you just have to add the symbol and then assign the value. That was it. Editing the spice model created the problem.