Penetrating by blocks

[keyboardDrummer]

Description

• Make all by block proofs penetrate the entire LHS

How has this been tested?

• Updated tests for call statements and the three types of assignment statements (:=, :-, :|)

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.