fixed several type errors in busybox case study

added a special behavioral case where a struct is used before it is declared/forward declared in cdecl use

changed the way declarations are matched to definitions, as a one directional implication is not suffficient
Merge remote-tracking branch 'origin/master'