normalizeReference (Application (Reference "assert")             [expression])               = Assert False $ Truth expression
normalizeReference (Application (Reference "assert")             [expression])               = Assert False $ Truth expression
normalizeReference (Application (Reference "assert")             [expression])               = Assert False $ Truth expression