demo1.1 formulas that involve constants over Tau Boolean algebra [seg fault]

[S1r_4zdr3w(OP)]

I tried to run the demo demo_1.1-basic_syntax_and_history.tau and got error.
I got the recent Tau version 0.7 (v0.7-alpha)
I'm running it on Windows with Virtual Machine Ubuntu OS.
I need to close the terminal as the program hangs.