bug fixing; presence conditions of df facts are not properly propagated all the time