implemented restriction and lifting executables, restriction: OK; lifting: in progress