Every nontrivial normal subgroup is potentially characteristic-and-not-fully invariant

Statement
Suppose $$G$$ is a group and $$H$$ is a nontrivial fact about::normal subgroup of $$G$$. Then, there exists a group $$K$$ containing $$G$$ such that $$H$$ is a fact about::characteristic subgroup of $$K$$ but not a fact about::fully invariant subgroup of $$K$$.

Related facts

 * Stronger than::Every nontrivial characteristic subgroup is potentially characteristic-and-not-fully invariant
 * Stronger than::Characteristic not implies fully invariant
 * Stronger than::NPC theorem: This states that every normal subgroup can be realized as a characteristic subgroup in some bigger group.
 * Normal not implies potentially fully invariant