commit of verification long standing branch

javadoc? e.g. specifies whether the pattern is the left-hand side of a lemma rule? and maybe rename it to ```isLemmaPattern```