Minimal modification of semcheck.
Adds to to-dos.
modifies global info.
modifies sc_functions.
merge assign