replaced question marks with primes
Changed the vc detail for If Statement VCs
added facility parameter constraint and formal = actual expressions in each operation
fixes how the replacement is done inside a function assignment rule