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