"Compound Expressions" fully verified