got rid of some annoying inline functions that were messing up frama-c
Added predicate for file structres and done some work on ungetc