added :universal-preconditions support