Added invariant to config sensor reading to trik generator