Verifies scratch-work column is a sub-formula of the target formula.