simplify_function_application: do not assume that a symbol always has a value#4068

Merged

tautschnig merged 1 commit intodiffblue:developfrom

tautschnig:fix-simplify_function_application

Feb 4, 2019

Commits on Feb 4, 2019

simplify_function_application: do not assume that a symbol always has a value
tautschnig
committed