|| and && for preti nets
https://pseuco.com/#/edit/remote/od68expet0xp3jl3eoim line 3 error UnsupportedExpression: I don't know how to determine variables written by a e expression (in column 21)
Right hand side does not work properly with variables but "if (x==10 || false)" works fine
Edited by Felix Freiberger