add erlang 17.1
start adding assertions