Scalaxy/Parano: sanity checks for error-proof scala code - View it on GitHub