Add symbolic evaluation for erlang:'-'/1