Full coverage and handling nested substitutions