Fixed a weird problem with __SMACK_nondet. In particular, when (void) is missing in its declaration, LLVM for some reason introduces an indirect call.
Implemented basic support for indirect function calls through function pointers. Closes #3. Fixes #8.