Major bug fixes in symbols deduction and handling system libraries