0.7.7 Release: Fix the bug about nested `restrict`