add examples; update constant prop opt