analyzer for C with some todos

todos are
- function pointer
- return statement
- pruning
- narrowing
- ...

For now, the value domain does not include closure.  We need to add
closure to the value domain, but it is not our goal now.