Work on the net tutorial
useful se_run.sh extension for tutorial debug
if-then-else expressions: fix inlining