add extra preprocessing for c-files

[izlatkin]

remove asserts do something with headers check for recursion Avoid categories with arrays

check types for nondet in TestComp