Add symbolic evaluation for erlang:'-'/2