Major bug fixes in symbols deduction and handling system libraries
Merge pull request #12 from marcinkiewiczblazej/bug_fixes

Bug fixes