Inject symbolic values in the value property of Option elements if accessed using a symbolic index

Relates to #82
Add tests for access pattern 1 detailed in #82