fix: Frame and termination checks are now subject to by-proofs of method calls

fix: Frame and termination checks are now subject to by-proofs of method calls #60