add entry edge; change lhs to list
add constant prop opt