REFACTORING - renamed expression to instruction (preparation for clause coverage)
clause coverage