Changed default search depth of extended while prover to be 16, as this is what is required for the examples which can currently be proved.
Made matching function eagerly check that program variables are not replaced when searching for a backlink.
First attempt at doing frame inference for forming backlinks other than at procedure calls
Merge remote-tracking branch 'origin/master'