non-strict strategies now support functions with up to 14 arguments
Merge branch 'backend' of github.com:ramntry/SLL into backend