The simple validation rules, the first is to check "System Function", it has or no roots from "Operation Analysis" level (CheckingSystemFunctionWhatIsRealized.java), the second is to check "System Function" on the use of the default name (CheckingDefaultNameOfSystemFunction.java)