Symbol: add_resolvable_expressions