WHISTLE-1871: update specs
WHISTLE-1871: spec and formatting
WHISTLE-1871: update makefile for dialyzer, specs, and arg order for a function call