Added source guard translation. Removed debug print from Transaction2LeaveActionRule. With this, variables translation should be finished, even though needs testing