Changed theory interface to allow pushing of clauses