FIX applicability of a specific notation to the static implementation of
the corresponding language