Implemented guards for closures

During trace execution, guards for closures that were recorded, are now really checked and may trigger side-exits.