Fixed bug (forgot add operation for the restriction context stack)