Update conprop.snippet

Added $end$ marker.