export predicates for s-exp forms and test them