Fixed assert to correctly transform clause like
execute(X) :- X. and add the call wrapper correctly.
Authored by: dwarren 2014-01-23
Parent: [r7874]
Child: [r7876]