- [ ] Merge `Assignment` and `SymbolicAssignment` - [ ] Refactor `SymbolicVariableReference` to reference a variable