Added support to transform a clause into a list of clauses. Fixed minor bug in $BODY hack