Adds recursion checking method into PushExtensions