Predicates added, Singelton variables removed.