complete normalization and diagnostic functions in reactive functions