1. Formal definition of restrict fails to account for valid cases

    Formal definition of restrict fails to account for valid cases