allow abar=NULL, added "implies.deterministic.g" to deterministic.Q.map