filter `:` from labels
add skip program simplifier