Anotate all protected variables in modules as input/output/state ...