Bug fixes

Major bug fixes in symbol names deduction and integration with system frameworks.