Add priority
Increment priority based on learning clause
rescale priority
Merge branch 'feature/vsids' into develop
Merge branch 'release/1.1'