hotifx: atomic propostions are not evaluated during initialization