Verification framework and tool for higher-order Scala programs - View it on GitHub