Any program written in Refal Plus must satisfy a number of context dependent restrictions. context dependent restriction