for Variables see: Naming [...] 3 All variables shall [...] initialize all variables

input variable [...] variable, no other task [...] variable, it reads

The input variable x [...] variable xExecute ( [...] variable x

variable of type FBF [...] variable of type INT => [...] have the same integer values