committing to full walk C test case generator, more constructs added