Support void function manipulate
Refactoring, Implement effect, failback, scoping