Experimental pattern matching

[NaC-L]

On top of lifter-is-a-class (explanation of changes in experimental) :

1-

x = select z, a, b
y = add x, 1

will be "simplified" to

x = select z, a, b
y = select z, a+1, b+1

, so we can track values easier
2- (a & b ) | (~a & c) will be simplified to select a, b, c

3- calculate possible values with brute forcing