Reduced-Complexity Transition-Fault Test Generation for Non-Scan Circuits through High-level Mutant Injection