Fix fluent tracking in nondeterministic contexts