Add symbolic evaluation for erlang:'*'/2