Discard empty triggers and partially evaluated ones#815

marcoeilers wants to merge 3 commits intomasterviperproject/silicon:masterfrom

meilers_discard_empty_triggersviperproject/silicon:meilers_discard_empty_triggersCopy head branch name to clipboard