Learning Symbolic Abstractions From System Execution Traces